Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems
Incommensurability
lesswrong.com·6h
➡️Category Theory
Q3 Lab Update
i.redd.it·1h·
Discuss: r/homelab
🏠HomeLab
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
My experience with AI as a front end developer
frontendundefined.com·59m·
Discuss: Hacker News
💎Refinement Types
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
🔬Static Analysis
Emergent Alignment via Competition
arxiv.org·3d
🧩Parser Combinators
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Token Models as Statistical Simulations: A Different Take
medium.com·9h·
Discuss: Hacker News
🧩Parser Combinators
LingoDB – Data Processing with Compiler Technology
lingo-db.com·1d·
Discuss: Hacker News
🧩Parser Combinators
How to stop functional programming
brianmckenna.org·20h·
🏹Effect Systems
Is CSS Turing complete? (2010)
stackoverflow.com·19h·
Discuss: Hacker News
🧮Lambda Calculus
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
💎Refinement Types
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
The low-cost path to AI Mastery
antonyarkov.substack.com·20h·
Discuss: Substack
Automated Theorem Proving
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·2h·
Discuss: r/programming
👁️System Observability
Evals in the Age of Jarvis
lesswrong.com·12h
📊Runtime Verification
Everything you know is wrong
lawrencecpaulson.github.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·14h·
Discuss: Hacker News
⚙️PL Implementation